import random

RANDOM = random.getrandbits(32)
#
class Wrapper(int):
    def __init__(self, x):
        int.__init__(x)
#
    def __hash__(self):
        return super(Wrapper, self).__hash__() ^ RANDOM